[I232] Radiomics: Transforming standard imaging into mineable data related to biology

PlanMine – a mineable resource of planarian biology and biodiversity

Planarian flatworms are in the midst of a renaissance as a model system for regeneration and stem cells. Besides two well-studied model species, hundreds of species exist worldwide that present a fascinating diversity of regenerative abilities, tissue turnover rates, reproductive strategies and other life history traits. PlanMine (http://planmine.mpi-cbg.de/) aims to accomplish two primary miss...

Transforming meteorological data into Linked Data

We describe the AEMET meteorological dataset, which makes available some data sources from the Agencia Estatal de Meteorología (AEMET, Spanish Meteorological Office) as Linked Data. The data selected for publication are generated every ten minutes by approximately 250 automatic weather stations deployed across Spain and made available as CSV files in the AEMET FTP server. These files are retrie...

InSAR Phase Unwrapping by Transforming Sparce Data into a Regular Space

Phase unwrapping is one of the most important parts of InSAR techniques. In order to estimate the grand surface displacements, interferomtric phases modulated between 0 to 2π must be unwrapped. Based on the use of either the conventional method or persistent scatterer (PS), phases will be spread both regularly and irregularly. The phases of PSs can be unwrapped by reducing phases into a regular...

Prostate cancer Radiomics using multiparametric MR imaging

On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs

P. Baumgartner, R. Hähnle & J. Posegga, ed., 4 International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 95), LNAI 918, pp. 106–121, c ©Springer Verlag, 1995 Abstract. We present a procedure transforming intuitionistic matrix proofs into proofs within the intuitionistic standard sequent calculus. The transformation is based on L. Wallen’s proof justifying hi...